perm filename LETTER[1,JRA] blob sn#034721 filedate 1973-04-06 generic text, type T, neo UTF8
COMMENT ⊗   VALID 00002 PAGES
RECORD PAGE   DESCRIPTION
 00001 00001
 00002 00002	
 00003 ENDMK
⊗;

















G.P. Huet
Case Western Reserve University
Cleveland, Ohio


Dear Sir:

We would be interested in receiving a copy of your report:

			Report #1117

Constrained Resolution: A Method for Higher Order Logic


				Sincerely yours,